We introduce and consider the inner-model reflection principle, which asserts that whenever a statement \varphi(a) in the first-order language of set theory is true in the set-theoretic universe V, then it is also true in a proper inner model W \subset A. A stronger principle, the ground-model reflection principle, asserts that any such \varphi(a) true in V is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width (...) reflection in contrast to the usual height reflection of the Lévy–Montague reflection theorem. They are each equiconsistent with ZFC and indeed \Pi_2-conservative over ZFC, being forceable by class forcing while preserving any desired rank-initial segment of the universe. Furthermore, the inner-model reflection principle is a consequence of the existence of sufficient large cardinals, and lightface formulations of the reflection principles follow from the maximality principle MP and from the inner-model hypothesis IMH. We also consider some questions concerning the expressibility of the principles. (shrink)

It is a widespread opinion that toleration, as a political practice, has merely instrumental value. The aim of this paper is to defend, on the contrary, that toleration has political value in itself. In more specific terms, I will claim that it is valuable in itself in virtue of its intrinsic relationship with democracy. Toleration is a constituent of democracy inasmuch as it is necessary for the existence of a democratic administration of political power. I will show that that relation (...) of constitution holds because toleration, through the protection of spaces of contestation to the political power, contributes to solving democracy’s inner tension resulting from its practical implementation. -/- Es una opinión extendida que la tolerancia, en cuanto práctica política, tiene valor meramente instrumental. El objetivo de este artículo es defender, por el contrario, que ella tiene valor político en sí. Específicamente, defenderé que es valiosa en sí misma a causa de su relación intrínseca con la democracia. La tolerancia es un constituyente de la democracia en cuanto es necesaria para que pueda existir una administración democrática del poder político. Mostraré que esa relación de constitución existe porque la tolerancia, mediante la protección de espacios de contestación al poder político, contribuye a la resolución de una tensión interna de la democracia en su implementación práctica. (shrink)

Current work in language models (LMs) helps us speed up or even skip thinking by accelerating and automating cognitive work. But can LMs help us with critical thinking -- thinking in deeper, more reflective ways which challenge assumptions, clarify ideas, and engineer new concepts? We treat philosophy as a case study in critical thinking, and interview 21 professional philosophers about how they engage in critical thinking and on their experiences with LMs. We find that philosophers do not find LMs to (...) be useful because they lack a sense of selfhood (memory, beliefs, consistency) and initiative (curiosity, proactivity). We propose the selfhood-initiative model for critical thinking tools to characterize this gap. Using the model, we formulate three roles LMs could play as critical thinking tools: the Interlocutor, the Monitor, and the Respondent. We hope that our work inspires LM researchers to further develop LMs as critical thinking tools and philosophers and other 'critical thinkers' to imagine intellectually substantive uses of LMs. (shrink)

In the discourse on International Justice, traditional frameworks are deeply rooted in 'embodied metaphysics'—a perspective embedded in the tangible experiences of human existence. By contrasting the physical with the digital realms, I suggest that our current global justice systems are ill-equipped to address the complexities of the digital age. Utilizing the metaphor of water to highlight the often-unseen environment shaping justice theories and practices, I argue that International Justice, as conventionally understood, reflects the constraints akin to fish oblivious to the (...) water surrounding them. In digital spaces, individuals are no longer bound by principles of singularity and locality, and instead operate by principles of multiplicity and nonlocality. These metaphysical differences disrupt many theories of global justice assuming singularity and nonlocality. My aim is to encourage scholars and practitioners to 'see water'—to acknowledge and critically reassess the foundational assumptions underlying their theories and practices in an era of digital transformation. (shrink)

Vision is an important metaphor in ethical and political questions of knowledge. The feminist philosopher Donna Haraway points out the “perverse” nature of an intrusive, alienating, all-seeing vision (to which we might cry out “stop looking at me!”), but also encourages us to embrace the embodied nature of sight and its promises for genuinely situated knowledge. Current technologies of machine vision – surveillance cameras, drones (for war or recreation), iPhone cameras – are usually construed as instances of the former rather (...) than the latter, and for good reasons. However, although in no way attempting to diminish the real suffering these technologies have brought about in the world, I make the case for understanding technologies of computer vision as material instances of embodied seeing and situated knowing. Furthermore, borrowing from Iris Murdoch’s concept of moral vision, I suggest that these technologies direct our labor towards self-reflection in ethically significant ways. My approach draws upon paradigms in computer vision research, phenomenology, and feminist epistemology. Ultimately, this essay is an argument for directing more philosophical attention from merely criticizing technologies of vision as ethically deficient towards embracing them as complex, methodologically and epistemologically important objects. (shrink)

In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will claim that a logic is to (...) be identified with an infinite sequence of consequence relations holding between increasingly complex relata: formulae, inferences, metainferences, and so on. As a result, the present proposal allows not only to differentiate Classical Logic from ST, but also from other systems sharing with it their valid metainferences. Finally, we show how these results have interesting consequences for some topics in the philosophical logic literature, among them for the debate around Logical Pluralism. The reason being that the discussion concerning this topic is usually carried out employing a rivalry criterion for logics that will need to be modified in light of the present investigation, according to which two logics can be non-identical even if they share the same valid inferences. (shrink)

Over the past fifteen years there has been a considerable amount of debate concerning what theoretical population dynamic models tell us about the nature of natural selection and drift. On the causal interpretation, these models describe the causes of population change. On the statistical interpretation, the models of population dynamics models specify statistical parameters that explain, predict, and quantify changes in population structure, without identifying the causes of those changes. Selection and drift are part of a statistical description of population (...) change; they are not discrete, apportionable causes. Our objective here is to provide a definitive statement of the statistical position, so as to allay some confusions in the current literature. We outline four commitments that are central to statisticalism. They are: 1. Natural Selection is a higher order effect; 2. Trait fitness is primitive; 3. Modern Synthesis (MS)-models are substrate neutral; 4. MS-selection and drift are model-relative. (shrink)

Private schools are working tirelessly to provide a quality education without support from the government. This article aims to evaluate the internal and external job stress of high school teachers in private schools in Leyte, Philippines, and determine its governing factors. The study involved a complete enumeration process in selecting the participants and gathering primary data. In analyzing and extracting relevant information from the data, standard descriptive metrics, correlation analysis, and Chi-square test for independence were employed with the aid of (...) statistical software. The findings of the study depicted that private teachers are both internally and externally moderately stressful in their jobs. The Chi-square test revealed that employment status and years in service are associated with the private teachers’ internal job stress and it is significant at a 10% level. In addition, it is depicted that gender, monthly salary, and years in service are significantly dependent on the teachers’ external job stress at a 10% level. Conclusively, the school heads and management of private schools must lessen the work assignments to avoid exhaustion and increase benefits to improve the well-being of teachers. Moreover, it is suggested that teachers in private schools must be provided with training and seminars, incentives, supplies for teaching, and other benefits that improve their productivity and become globally competitive educators. (shrink)

In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...) involving semantic notions. In this article we intend to meet the challenge of answering how to regain all the safe instances of Cut, in the language of the theory, making essential use of a unary recovery operator. To fulfill this goal, we will work within the so-called Goodship Project, which suggests that in order to have nontrivial naïve theories it is sufficient to formulate the corresponding self-referential sentences with suitable biconditionals. Nevertheless, a secondary aim of this article is to propose a novel way to carry this project out, showing that the biconditionals in question can be totally classical. In the context of this article, these biconditionals will be essentially used in expressing the self-referential sentences and, thus, as a collateral result of our work we will prove that none of the recoveries expected of the target theory can be nontrivially achieved if self-reference is expressed through identities. (shrink)

In this paper we discuss the extent to which the very existence of substructural logics puts the Tarskian conception of logical systems in jeopardy. In order to do this, we highlight the importance of the presence of different levels of entailment in a given logic, looking not only at inferences between collections of formulae but also at inferences between collections of inferences—and more. We discuss appropriate refinements or modifications of the usual Tarskian identity criterion for logical systems, and propose an (...) alternative of our own. After that, we consider a number of objections to our account and evaluate a substantially different approach to the same problem. (shrink)

Recently, it has been proposed to understand a logic as containing not only a validity canon for inferences but also a validity canon for metainferences of any finite level. Then, it has been shown that it is possible to construct infinite hierarchies of "increasingly classical" logics—that is, logics that are classical at the level of inferences and of increasingly higher metainferences—all of which admit a transparent truth predicate. In this paper, we extend this line of investigation by taking a somehow (...) different route. We explore logics that are different from classical logic at the level of inferences, but recover some important aspects of classical logic at every metainferential level. We dub such systems meta-classical non-classical logics. We argue that the systems presented deserve to be regarded as logics in their own right and, moreover, are potentially useful for the non-classical logician. (shrink)

When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in a clear (...) sense, non-identical to it. We argue that this phenomenon can be generalized, given the existence of logics which coincide with Classical Logic regarding a number of metainferential levels—although they are, again, clearly different systems. We claim this highlights the need to arrive at a more refined version of the Collapse Argument, which we discuss at the end of the paper. (shrink)

In this paper, we present a non-trivial and expressively complete paraconsistent naïve theory of truth, as a step in the route towards semantic closure. We achieve this goal by expressing self-reference with a weak procedure, that uses equivalences between expressions of the language, as opposed to a strong procedure, that uses identities. Finally, we make some remarks regarding the sense in which the theory of truth discussed has a property closely related to functional completeness, and we present a sound and (...) complete three-sided sequent calculus for this expressively rich theory. (shrink)

Rejecting the Cut rule has been proposed as a strategy to avoid both the usual semantic paradoxes and the so-called v-Curry paradox. In this paper we consider if a Cut-free theory is capable of accurately representing its own notion of validity. We claim that the standard rules governing the validity predicate are too weak for this purpose and we show that although it is possible to strengthen these rules, the most obvious way of doing so brings with it a serious (...) problem: an internalized version of Cut can be proved for a Curry-like sentence. We also evaluate a number of possible ways of escaping this difficulty. (shrink)

In this note we shall argue that Milne’s new effort does not refute Truthmaker Maximalism. According to Truthmaker Maximalism, every truth has a truthmaker. Milne has attempted to refute it using the following self-referential sentence M: This sentence has no truthmaker. Essential to his refutation is that M is like the Gödel sentence and unlike the Liar, and one way in which Milne supports this assimilation is through the claim that his proof is essentially object-level and not semantic. In Section (...) 2, we shall argue that Milne is still begging the question against Truthmaker Maximalism. In Section 3, we shall argue that even assimilating M to the Liar does not force the truthmaker maximalist to maintain the ‘dull option’ that M does not express a proposition. There are other options open and, though they imply revising the logic in Milne’s reasoning, this is not one of the possible revisions he considers. In Section 4, we shall suggest that Milne’s proof requires an implicit appeal to semantic principles and notions. In Section 5, we shall point out that there are two important dissimilarities between M and the Gödel sentence. Section 6 is a brief summary and conclusion. (shrink)

"This book presents a theoretical discussion of problems and issues encountered in the Native American community from a perspective that accepts Native knowledge as legitimate. Native American cosmology and metaphor are used extensively in order to deal with specific problems such as alcoholism, suicide, family, and community problems. The authors discuss what it means to present material from the perspective of a people who have legitimate ways of knowing and conceptualizing reality and show that it is imperative to understand intergenerational (...) trauma and internalized oppression in order to understand the issues facing Native Americans today."--pub. website. (shrink)

In this paper I argue that the search for explainable models and interpretable decisions in AI must be reformulated in terms of the broader project of offering a pragmatic and naturalistic account of understanding in AI. Intuitively, the purpose of providing an explanation of a model or a decision is to make it understandable to its stakeholders. But without a previous grasp of what it means to say that an agent understands a model or a decision, the explanatory strategies will (...) lack a well-defined goal. Aside from providing a clearer objective for XAI, focusing on understanding also allows us to relax the factivity condition on explanation, which is impossible to fulfill in many machine learning models, and to focus instead on the pragmatic conditions that determine the best fit between a model and the methods and devices deployed to understand it. After an examination of the different types of understanding discussed in the philosophical and psychological literature, I conclude that interpretative or approximation models not only provide the best way to achieve the objectual understanding of a machine learning model, but are also a necessary condition to achieve post hoc interpretability. This conclusion is partly based on the shortcomings of the purely functionalist approach to post hoc interpretability that seems to be predominant in most recent literature. (shrink)

John McDowell and Bill Brewer famously defend the view that one can only have empirical beliefs if one’s perceptual experiences serve as reasons for such beliefs, where reasons are understood in terms of subject’s reasons. In this paper I show, first, that it is a consequence of the adoption of such a requirement for one to have empirical beliefs that children as old as 3 years of age have to considered as not having genuine empirical beliefs at all. But we (...) have strong reasons to think that 3-year-old children have empirical beliefs, or so I argue. If this is the case, McDowell and Brewer’s requirement for one to have empirical beliefs faces a strong challenge. After showing this, I propose an alternative requirement for one to have empirical beliefs, and argue that it should be favoured over McDowell and Brewer’s requirement. (shrink)

The objective of this article is to demonstrate how the historical debate between materialism and idealism, in the field of Philosophy, extends, in new clothes, to the field of Quantum Physics characterized by realism and anti-realism. For this, we opted for a debate, also historical, between the realism of Albert Einstein, for whom reality exists regardless of the existence of the knowing subject, and Niels Bohr, for whom we do not have access to the ultimate reality of the matter, unless (...) conditioning it to the existence of an observer endowed with rationality, position adopted in the Interpretation of Complementarity – posture that was expanded in 1935 when Bohr assumed a “relationalist” conception, according to which the quantum state is defined by the relationship between the quantum object and the entire measuring device. This is an extremely important debate, as it further consolidates the results of nascent Quantum Mechanics, guaranteeing Bohr the leadership of the orthodoxy based on the interpretation of complementarity. Here, when dealing with Quantum Theory, we will not make any distinction between the terms Quantum Physics, Quantum Theory or Quantum Mechanics. The entire discussion will be held under the name “Quantum Theory”. Theory that tries to analyze and describe the behavior of physical systems of reduced dimensions, close to the sizes of molecules, atoms and subatomic particles. We hope that the reader will appreciate the genius of these two titans in this field of Physics when they magnificently formulate the arguments that support the object of their defenses. (shrink)

En el Cratilo platónico se plantea por primera vez la cuestión del fundamento de la significación lingüística; se lo hace en el marco de la oposición entre naturaleza y convención, en la que se basó también el debate posterior acerca del tema. En el trabajo que sigue se presenta un repaso de los aspectos teóricos más importantes de los argumentos de las tesis naturalista y convencionalista expuestas y defendidas en ese y en otros textos de la tradición antigua, y se (...) esboza una tipología de las variedades que en esa tradición se ofrecen de aquellas dos posiciones. (shrink)

Transhumanism proposes human enhancement while regarding the human body as unfit for the future. This fulfills age-old aspirations for a perfect and durable body. We use “alienation” as a concept to analyze this mismatch between human aspirations and our current condition. For Hannah Arendt alienation may be accounted for in terms of earth- and world-alienation, as well as alienation from human nature, and especially from the given (“resentment of the given”). In transhumanism, the biological body is an impediment to human (...) accomplishment. At most, this movement accepts “clean” bodies, not bodies with excretions. We argue that real human bodies are valued in the event of giving birth, so a modified concept that Arendt proposed, natality, seems a suitable way to explore the dialectic alienation-reconciliation involving the body (Arendt’s “A child has been born unto us”), when re-read by some feminist scholars. (shrink)

Many word forms in natural language are polysemous, but only some of them allow for co-predication, that is, they allow for simultaneous predications selecting for two different meanings or senses of a nominal in a sentence. In this paper, we try to explain (i) why some groups of senses allow co-predication and others do not, and (ii) how we interpret co-predicative sentences. The paper focuses on those groups of senses that allow co-predication in an especially robust and stable way. We (...) argue, using these cases, but focusing particularly on the multiply polysemous word ‘school’, that the senses involved in co-predication form especially robust activation packages, which allow hearers and readers to access all the different senses in interpretation. (shrink)

A theory of truth is usually demanded to be consistent, but -consistency is less frequently requested. Recently, Yatabe has argued in favour of -inconsistent first-order theories of truth, minimising their odd consequences. In view of this fact, in this paper, we present five arguments against -inconsistent theories of truth. In order to bring out this point, we will focus on two very well-known -inconsistent theories of truth: the classical theory of symmetric truth FS and the non-classical theory of naïve truth (...) based on ᴌukasiewicz infinitely valued logic: PAᴌT. (shrink)

Opinionated state of the art paper on scientific explanation. Analysis and discussion of the most relevant models and theories in the contemporary literature, namely, the deductive-nomological model, the models of inductive-statistical and statistical relevance, the pragmatic theory of why questions, the unifying theory of standard arguments, and the causal/non-causal counterfactual theory.

O objetivo do presente artigo é o de analisar a contraposição instituída por Galileu ao aristotelismo tomista vigente na Idade Média e apresentar seu atomismo em alternativa à física das qualidades secundárias. O físico florentino, cujas preocupações restringiram-se ao campo da Física, vê-se envolvido numa querela de ordem religiosa que o leva à condenação por traição, cuja pena consistiu na abjuração pública e na prisão domiciliar perpétua. Iremos analisar, baseados nos estudos de Pietro Redondi, como a história da condenação de (...) Galileu, na verdade, não está necessariamente vinculada à defesa do heliocentrismo copernicano. Para além das fronteiras dessa noção, existiu todo uma trama tecida pelo protecionismo religioso, primazia eclesiástica, vedetismo e inveja. (shrink)

O objetivo do presente texto é o de apresentar as bases do atomismo metafísico a partir da produção do conhecimento na Antiguidade Clássica. Não se trata de abrir qualquer tipo de discussão acerca da produção do conhecimento contemporâneo sobre a realidade do átomo. Trata-se de apresentar os fundamentos teóricos de base grega, cujos reflexos foram sentidos nos desenvolvimentos posteriores do atomismo metafísico. Sendo assim, a pretensão não é a de apresentar um trabalho específico de História da Filosofia ou de História (...) da Ciência, mas sim, de um estudo da Filosofia da Ciência no contexto de sua história; pois, diante da questão sobre qual seria a competência epistêmica que delimita a Filosofia em sua essência, não encontramos outra maneira de tentar determiná-la a não ser consultando sua própria história. (shrink)

As proposições condicionais receberam atenção teórica concentrada, embora intermitente, desde a Antiguidade. A atenção durante últimos quarenta anos tem sido intensa. Nesse artigo, apresentaremos os principais desenvolvimentos da análise lógica acerca das proposições condicionais e discutiremos como elas desempenham papel central em muitas teorias filosóficas. Na primeira parte dessas observações introdutórias, mostraremos como os antigos, principalmente as escolas megárica e estoica, envolveram-se com a questão dos condicionais e quão importante isso foi para os posteriores desenvolvimentos da análise lógica dos condicionais (...) no medievo e na Idade Moderna. Por fim, apresentaremos, já na contemporaneidade, C. I. Lewis expondo sua teoria da implicação estrita em franca oposição à doutrina da implicação que ele julgava errada. Espera-se que este trabalho sirva como a apresentação panorâmica de um campo que em lógica ainda é muito frutífero e fecundo para aprofundamentos e novas ideias. (shrink)

In this paper, I attempt to throw some light on modal realism. Since it is David Lewis who has put forward the best arguments for thar position, I focus on his work. In the first, I point out that his approach does not provide an adequate account for the intuitive lack of symmetry between the actual and the possible. To begin with, I try to show that the strategy of appealing to both the spatio-temporal network and causality is not at (...) all satisfactory. Secondly, I criticize the argument for modal realism that is based on theoretical benefits. Then, I defend the view that Lewis' indexical analysis of the concept of actuality does not satisfy his own criterion of acceptability: an analysis of actuality should account for the intuitions about our actual word. I claim thet Lewis' objections to other positions can be raised against his own position. Finally, I conclude that, even though Lewis is right in claiming that actualist conceptions do not explain why the possible is not part of the actual, the realist conception fail to account for the special ontological status that we intuitively grant to our own world. (shrink)

A obra Eletric Waves foi o ponto de partida para a análise filosófico-metodológica das teorias científicas por parte de H. Hertz e a culminância dessa prática deu-se com a sua obra póstuma The Principles of Mechanics. Nas introduções a essas duas obras um tema metacientífico se apresenta como núcleo central. Nelas Hertz trata das diferentes representações, imagens ou modelos dos fenômenos físicos: no caso da primeira obra, dos fenômenos eletromagnéticos; no caso da segunda, dos fenômenos mecânicos. E a questão que (...) tenta resolver é a seguinte: qual é a origem da pluralidade de imagens nas teorias científicas? Seria ela inevitável? É sobre esse tipo de questões que se fixa o presente trabalho na intenção de apresentar o papel da noção de representação na concepção de ciência de Heinrich Hertz. (shrink)

There is a growing awareness that there are many subtle forms of exclusion and partiality that affect the correct workings of a judicial system. The concept of epistemic injustice, introduced by the philosopher Miranda Fricker, is a useful conceptual tool to understand forms of judicial partiality that often go undetected. In this paper, we present Fricker’s original theory and some of the applications of the concept of epistemic injustice in legal processes. In particular, we want to show that the seed (...) planted by Fricker has flourished into a rich field of study in which the concept is used to analyze many different phenomena in law, not always following the original characterization provided by her. This has led to a distinction between what we will call the narrow version of the concept, which is closer to Fricker’s original account, and the wider version of epistemic injustice, which is a more controversial notion because it is always on the verge of morphing into other well-known concepts like sexism, racial discrimination, oppression, silencing, and gaslighting. We will show that the value of the narrow version is mostly theoretical, and that in order to use the concept of epistemic injustice one must adopt a more liberal understanding of it. (shrink)

Me propongo aquí una reflexión sobre la crisis del humanismo que afecta profundamente a la sociedad y la cultura contemporáneas en todas sus dimensiones. De un modo falsamente optimista, se ha opuesto a esta crisis la figura de un post humanismo triunfante, resultado de los desarrollos de la tecnología contemporánea y sus posibilidades de intervención en el cuerpo y el alma del hombre. Haré aquí una evaluación crítica de ese optimismo, sin por ello reivindicar el viejo humanismo y su razón (...) colonizadora. Trataré de plantear a través de Heidegger y Agamben la condición post humanista y post histórica –en el sentido moderno– en la que nos encontramos. Pero luego intentaré pensar junto a Nietzsche y Bataille una figura del hombre que no es nueva, sino una figura más antigua y creo más profunda, que quedó sepultada bajo la irrupción tectónica del humanismo y su empresa civilizatoria. (shrink)

Transhumanists, like other elites in modernity, place great value on human creativity, and advances in human enhancement and AI form the basis of their propos- als for boosting it. However, there are problems with this perspective, due to the unique ways in which humans have evolved, procreated and socialized. I first describe how creativity is related to past evolution and developmental aspects in children, stressing pretend play and the ambivalent character of creativity. Then, I outline proposals for enhancing creativity, be (...) it in embodied humans on the way to a superior species, in AI- related beings (virtual reality, robotics), or even in any degree of mixture in human- machine interaction. In the final section, I describe intrinsic limits to these proposals, such as the absence of a good understanding of human psychology by the proponents of enhancement; the lack of interest in the subjective side of creativity (for one’s own sake); delayed maturation and the ambivalence of pretend play in childhood; and the contrariness typical of new human generations. As for the enhancement of creativity, it is argued that creativity in its social context may be the victim of its own past success. On the other hand, an asymmetry between virtual beings and children is described— the latter can behave in a nasty way, it is part of their growth and creativity, whereas the former are not supposed to cause any harm to human beings. In sum, despite impressive progress in several scientific and technological interventions in creativity, philosophical questions emerge that place many constraints on transhumanist dreams of endless creativity. (shrink)

St. Thomas Aquinas has always considered intelligence a potency higher than the will, absolutely speaking. That being said, and in my view, the existential primacy of the will in the act of freedom (particularly in choosing the existential end) is also indisputably Thomistic, as Cornelio Fabro has shown. This paper endeavors to explain Aquinas' doctrine on the absolute primacy of the intellect and thus show that these two primacies can be affirmed coherently, that is, the intellect’s absolute primacy and the (...) will’s existential primacy. Firstly, I will explain the reasoning St. Thomas Aquinas uses in the Summa to justify the absolute primacy of the intellect over the will. Secondly, I will explore some parallel texts, in order to shed light on my interpretation of the Summa and expand our view regarding this and related doctrinal points. Thirdly, I will offer a brief study of Fabro’s position, one in which his concerns regarding the intellect’s absolute primacy are taken into account and carefully considered. (shrink)

This paper is an attempt to clarify, from a Thomistic point of view, the nature and method of metaphysics. I argue that metaphysics' object is created being, not God, even if God enters metaphysics as efficient cause of metaphysic's object. Also, that metaphysics is a science, insofar as a particular kind of coherent reasoning process, going from the many to understand a certain oneness, and then from that oneness to reinterpret the many. Moreover, that, in this particular process of reasoning, (...) doctrinal topics must follow a certain order. Thus, in particular, I argue that the distinction between essence and act of being in every creature cannot be argued before arguing the existence of God. I touch upon the notion of separation in metaphysics and I compare Aquinas' notion of resolution with Fabro's notion. (shrink)

In a recent paper, Erasmus et al. (2021) defend the idea that the ambiguity of the term “explanation” in explainable AI (XAI) can be solved by adopting any of four different extant accounts of explanation in the philosophy of science: the Deductive Nomological, Inductive Statistical, Causal Mechanical, and New Mechanist models. In this chapter, I show that the authors’ claim that these accounts can be applied to deep neural networks as they would to any natural phenomenon is mistaken. I also (...) provide a more general argument as to why the notion of explainability as it is currently used in the XAI literature bears little resemblance to the traditional concept of scientific explanation. It would be more fruitful to use the label “understandable AI” to avoid the confusion that surrounds the goal and purposes of XAI. In the second half of the chapter, I argue for a pragmatic conception of understanding that is better suited to play the central role attributed to explanation in XAI. Following De Regt (2017) and Kuorikoski and Ylikoski (2015), the conditions of satisfaction for understanding an ML system are fleshed out in terms of an agent’s success in using the system. (shrink)

Gilles Deleuze (1992: 178) escreveu que nenhum pintor “(...) pinta numa tela virgem, nem o escritor escreve numa página branca, mas a página ou a tela estão desde logo de tal modo cobertas por “clichés” preexistentes, preestabelecidos, que é necessário antes de mais apagar, limpar, laminar, ou até rasgar para fazer passar uma corrente de ar vinda do caos, que nos traz a visão”. Razão pela qual apresentamos, inicialmente, um pequeno poema de Miguel Torga para, de seguida, empreendermos uma breve (...) análise sobre a capacidade que a aceleração do tempo tem para determinar alguma coisa a ser e das suas consequências, ou possíveis consequências, num mundo onde o progresso, que se nos apresenta profundamente contraditório, tem por objetivo proteger-nos da tirania do passado. (shrink)

State of the art paper on the problem of induction: how to justify the conclusion that ‘all Fs are Gs’ from the premise that ‘all observed Fs are Gs’. The most prominent theories of contemporary philosophical literature are discussed and analysed, such as: inductivism, reliabilism, perspective of laws of nature, rationalism, falsificationism, the material theory of induction and probabilistic approaches, according to Carnap, Reichenbach and Bayesianism. In the end, we discuss the new problem of induction of Goodman, raised by the (...) grue predicate. (shrink)

English: We analyzed the motivations that Catholic seminarians in Portugal evoke as important factors for their decision to follow the priesthood. We proposed working hypotheses according to which the speech of seminarians could reflect both the influence of classical religious socialization, agents like family and the parish community, as well as more subjective elements related to the idea of a vocation to the priesthood. The results indicated the presence of these factors and showed that the reasons related to the priestly (...) vocation and desire to serve God and the Church appear as more important than the influence of family or other reasons. -/- Português: Analisamos as motivações que os seminaristas católicos em Portugal evocam como fatores importantes para a sua decisão de seguir o sacerdócio. Propusemos hipóteses de trabalho segundo as quais o discurso dos seminaristas poderia refletir tanto a influência de agentes clássicos de socialização religiosa, como a família e a comunidade paroquial, como elementos mais subjetivos relacionados com a ideia de vocação para o sacerdócio. Os resultados indicaram a presença desses fatores e mostraram que os motivos relacionados com a vocação sacerdotal e a vontade de servir a Deus e a Igreja aparecem como mais importantes do que a influência da família ou de outros significativos. (shrink)

In this paper, I start by describing and examining the main results about the option of formalizing the Yablo Paradox in arithmetic. As it is known, although it is natural to assume that there is a right representation of that paradox in first order arithmetic, there are some technical results that give rise to doubts about this possibility. Then, I present some arguments that have challenged that Yablo’s construction is non-circular. Just like that, Priest (1997) has argued that such formalization (...) shows that Yablo’s Paradox involves implicit circularity. In the same direction, Beall (2001) has introduced epistemic factors in this discussion. Even more, Priest has also argued that the introduction of infinitary reasoning would be of little help. Finally, one could reject definitions of circularity in term of fixed-point adopting non-well-founded set theory. Then, one could hold that the Yablo paradox and the Liar paradox share the same non-well-founded structure. So, if the latter is circular, the first is too. In all such cases, I survey Cook’s approach (2006, forthcoming) on those arguments for the charge of circularity. In the end, I present my position and summarize the discussion involved in this volume. En este artículo, describo y examino los principales resultados vinculados a la formalización de la paradoja de Yablo en la aritmética. Aunque es natural suponer que hay una representación correcta de la paradoja en la aritmética de primer orden, hay algunos resultados técnicos que hacen surgir dudas acerca de esta posibilidad. Más aún, presento algunos argumentos que han cuestionado que la construcción de Yablo no sea circular. Así, Priest (1997) ha argumentado que la formalización de la paradoja de Yablo en la aritmética de primer orden muestra que la misma involucra implícitamente circularidad. En la misma dirección, Beall (2001) ha introducido factores epistémicos en esta discusión. Más aún, Priest ha también argumentado que la introducción de razonamiento infinitario como complemento de la formalización en la aritmética sería de poca ayuda. Finalmente, se podría rechazar todo intento de dar definiciones de circularidad en términos de puntos fijos adoptando teoría de conjuntos infundados. Entonces, se podría sostener que la paradoja de Yablo y la del mentiroso comparten la misma estructura infundada. Por eso, si la última es circular, también lo es la primera. En todos los casos, presento el enfoque de Roy Cook (2006, en prensa) sobre estos argumentos que atribuyen circularidad a la construcción de Yablo. En el final, presento mi posición y un breve resumen de la discusión involucrada en este volumen. (shrink)

State of the art paper on the topic realism/anti-realism. The first part of the paper elucidates the notions of existence and independence of the metaphysical characterization of the realism/anti-realism dispute. The second part of the paper presents a critical taxonomy of the most important positions and doctrines in the contemporary literature on the domains of science and mathematics: scientific realism, scientific anti-realism, constructive empiricism, structural realism, mathematical Platonism, mathematical indispensability, mathematical empiricism, intuitionism, mathematical fictionalism and second philosophy.

Mario Bunge remarks that technology is essentially connected with science and its method, otherwise it would be pure technique. But he also points out that it is not reduced to science because it incorporates other components. He was especially concerned with investigating the connection between technology and science. Based on their characterization, these other components are explored—the inverse approach. This perspective allows a more detailed epistemological characterization of the technologies.

Some recent literature [Hicks, M. T. and van Elswyk. P., (2015) pp. 433-443, 2015; Bhogal, H. (2017), pp. 447-460] has argued that the non-Humean conceptions of laws of nature have a same weakness as the Humean conceptions of laws of nature. That is, both conceptions face an explanatory circularity problem. The argument is as follows: the Humean and the non-Humean conceptions of laws of nature agree that the law statements are universal generalisations; thus, both conceptions are vulnerable to an explanatory (...) circularity problem between the laws of nature and their instances. In this paper, I argue that Armstrong’s necessitarian view of laws of nature is invulnerable to this explanatory circularity problem. (shrink)

State of art paper on the topic causation, around the problem of the nature of causation. Central theories of contemporary philosophical literature are discussed and analysed, namely, regularity theories of Hume and Mackie, counterfactual theories of Lewis, probabilistic theories of Reichenbach, Lewis and Menzies and causal processes theories of Salmon and Dowe.

Nas últimas décadas, tem-se assistido a uma crescente preocupação pelo desenvolvimento socialmente justo e sustentável; daí que as políticas de desenvolvimento que se têm delineado têm implícita uma preocupação de maior equidade e justiça, aprendendo do passado para assim projetar o futuro. Ora quem aprecia o horizonte, sem menosprezar o seu espólio e memória, vive o momento presente empenhado em viabilizar o porvir. Esta atitude implica uma postura comprometida dos cidadãos com o social. E desta forma comprometida, empreendedora e corresponsável (...) que se compreende o capital social como meio de desenvolvimento sustentável. Com este estudo procura-se perceber até que ponto o capital social é um dos fatores determinantes do desenvolvimento sustentável. Indagam-se, para isso, os indicadores que melhor podem medir o capital social. De uma forma mais específica, procura-se compreender até que ponto a sociedade portuguesa tem estimulado o capital social como recurso fundamental para o seu desenvolvimento. Esta questão é ilustrada a partir do inquérito do European Values Survey e, de uma forma longitudinal, analisam-se os comportamentos dos portugueses entre 1990 e 2008. Os resultados mostram que os portugueses não estão ainda sensibilizados para a problemática do desenvolvimento sustentável, revelam posturas muito fechadas, pouco ou nada preocupadas com a construção de uma sociedade mais ativa e comprometida com o bem comum. (shrink)

Nas sociedades antigas, o tempo era percecionado de forma cíclica, mítica, sem duração, em que se arranca o homem, tal como descreve Mircea Eliade (1969), em Le mythe de l’éternel retour, do seu tempo individual cronológico, histórico, projetando-o, pelo menos simbolicamente, em um grande tempo que não se pode mensurar porque não é constituído por uma duração. Nas sociedades modernas, o conceito de tempo passou a assumir outras conotações, ao ser entendido como sucessão e continuidade, desenhado de forma mais objetiva (...) e científica, veiculado sempre à liberdade da pessoa. Nas sociedades contemporâneas, marcadas por uma crescente complexidade, o tempo tornou-se um problema a, em parte, devido à instabilidade do futuro, que não permite qualquer tipo de previsão dos processos sociais e organizativos o que conduz, não só a um grande desconhecimento do próprio futuro, como a uma instabilidade do próprio presente. (shrink)

State of art paper on the topic laws of nature, around the problem of identification what is to be a law of nature. The most prominent theories of contemporary philosophical literature are discussed and analysed, such as: the simple regularity theory, from Hume; the Mill-Ramsey-Lewis best systems theory; the Dretske-Tooley-Armstrong theory of laws as relations among universals; Ellis’s essentialist theory; Cartwright’s theory of laws as ceteris paribus laws; the anti-reductionist theories of Lange, Maudlin and Carroll, the anti-realist theories of Mumford, (...) van Fraassen and Giere; etc. (shrink)

Work represents a significant part of a person's life. At working age, people spend much of their time divided between family, leisure and work, and the way a person relates to work conditions family, social and economic relationships. With the proliferation and diversification of occupations – a characteristic of modern societies – the world of work became a personal challenge, as it is no longer seen exclusively from the perspective of existential necessity – concerned about the needs for security and (...) livelihood – but to be now understood as a social phenomenon, with an exchange value through which market's goods and services can be reached. Thus, in contemporary society, work is perceived as something that is not determined, but a reality that involves the whole person and develops throughout life. Therefore, when considering how individuals relate to and value work, we identify the values underlying the mentality that shapes a society. Based on this principle, and according to the European Values Study, the present study intends to analyze the value of work in Portugal in the last three decades and place the results against the national average for the European Union. (shrink)

Opinionated state of the art paper on mathematical explanation. After a general introduction to the subject, the paper is divided into two parts. The first part is dedicated to intra-mathematical explanation and the second is dedicated to extra-mathematical explanation. Each of these parts begins to present a set of diverse problems regarding each type of explanation and, afterwards, it analyses relevant models of the literature. Regarding the intra-mathematical explanation, the models of deformable proofs, mathematical saliences and the demonstrative structure of (...) mathematical induction are addressed. Regarding the extra-mathematical explanation, modal, abstract and deductive models are addressed. (shrink)

O fenómeno religioso tem sido, ao longo dos tempos, objecto de particular atenção. Foi sendo redefinido perante as suas circunstâncias históricas e socioculturais. Parece ter sobrevivido aos diversos anúncios do seu desaparecimento, anunciados tanto pela via da alienação intelectual (Comte) e antropológica (Feuerbach), como psíquica (Freud) e socioeconómica (Marx). Todavia, é inegável que a modernidade, com a sua consequente individualização social, deixou e continua a deixar marcas de uma progressiva secularização da sociedade. Tal facto conduz a um progressivo desgaste dos (...) referentes provenientes dos costumes e tradições da religião institucional, levando, por um lado, a uma perda da influência da institucionalidade religiosa e, por outro, a uma vivência religiosa mais íntima e privada. Esta transformação, reconfiguração ou inclusive decomposição do religioso na modernidade revela a capacidade que este fenómeno tem em manter-se em constante processo de mudança, adaptando-se e assumindo os contextos socioculturais em que se insere. É desde a actualidade, desde o diagnóstico actual e da sociedade que nos envolve que olhamos para o passado e para o futuro, tentando auscultar a situação sociorreligiosa portuguesa, de forma a caracterizar a religiosidade dos portugueses e perceber até que ponto esta se identifica com a de outros países de semelhante matriz histórico-religiosa (como é o caso de Áustria, Bélgica, Espanha, França, Irlanda, Itália e Polónia), bem como se procura precisar as novas formas ou tendências do religioso em Portugal. (shrink)